System programming

Results: 6665



#Item
231Type theory / Data types / Functional programming / Object-oriented programming / Polymorphism / Parametric polymorphism / Type inference / Type system / ML / Database / Type variable / Kind

Polymorphism and Type Inference in Database Programming PETER BUNEMAN University of Pennsylvania and ATSUSHI OHORI

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2006-12-31 07:06:17
232Object-oriented programming / Database management systems / Database models / Data model / Database / Geographic information system / Object database / Spatial query / Solid modeling / Object / Polygon / Rasterisation

GEOGRAPHIC INFORMATION PROCESSING IN THE PROBE DATABASE SYSTEM* Frank Manola, Jack Orenstem, Umeshwar Dayal Computer Corporation of America Four Cambridge Center Cambridge, Massachusetts 02142

Add to Reading List

Source URL: mapcontext.com

Language: English - Date: 2008-08-30 00:26:32
233Cross-platform software / GDAL / Hierarchical Data Format / Qt / Nullsoft Scriptable Install System / D / SQuirreL SQL Client Plugin API

GLIMSView Programming Overview Dan Mingus June 2003 INTRODUCTION:

Add to Reading List

Source URL: www.glims.org

Language: English - Date: 2008-02-11 19:49:36
234Parallel computing / Fortran / OpenMP / Loop optimization / Standard Performance Evaluation Corporation

Comparison between QuickThread and OpenMP 3.0 under various system load conditions. Copyright © 2009 QuickThread Programming, LLC www.quickthreadprogramming.com

Add to Reading List

Source URL: www.quickthreadprogramming.com

Language: English - Date: 2012-05-03 14:20:38
235Cartography / Geographic data and information / Web mapping / Geography / Geographic information system / CyberGIS / Spatial analysis / Leaflet / Geovisualization / GeoJSON / Esri / Vector tiles

2016 CyberGIS Curriculum Workshop Intentionality and Reflexivity in CyberGIS: Data Power, Political Economy, and Programming Dillon Mahmoudi Toulan School of Urban Studies and Planning, Portland State University

Add to Reading List

Source URL: cybergis.illinois.edu

Language: English - Date: 2016-03-18 18:27:35
236Type theory / Data types / Procedural programming languages / Polymorphism / Cross-platform software / Subtyping / Type system / Go / -calculus / System F / ALGOL 68 / Cons

Motivation Context Encoding

Add to Reading List

Source URL: places08.di.fc.ul.pt

Language: English - Date: 2011-01-31 06:33:44
237Unix / Cross-platform software / Procedural programming languages / C / Troff / Ratfor / Filter / Brian Kernighan / Standard streams / Nroff / File / Device file

UNIXTM TIME-SHARING SYSTEM: UNIX PROGRAMMER’S MANUAL Seventh Edition, Volume 2A January, 1979

Add to Reading List

Source URL: web.cuzuco.com

Language: English - Date: 2003-06-17 00:00:00
238Parallel computing / C POSIX library / System calls / Application programming interfaces / Message Passing Interface / Write / Lis / Stat / MPI

Lecture 32: Introduction to MPI I/O William Gropp www.cs.illinois.edu/~wgropp Parallel I/O in MPI

Add to Reading List

Source URL: wgropp.cs.illinois.edu

Language: English - Date: 2015-04-21 17:04:17
239Control flow / Application programming interfaces / Software testing / Exception handling / Zlib / Stack / Error code / OpenSSL / Fault injection / File system API / Read

APEx: Automated Inference of Error Specifications for C APIs Yuan Kang Baishakhi Ray

Add to Reading List

Source URL: rayb.info

Language: English - Date: 2016-08-08 22:22:30
240Dynamic programming / Dynamic time warping / Time series analysis / Mixture model / Information retrieval / Detroit Metropolitan Airport

CUHK System for the Spoken Web Search task at Mediaeval 2012 Haipeng Wang, Tan Lee DSP-STL, Dept. of EE, The Chinese University of Hong Kong Shatin, N.T., Hong Kong

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2012-09-26 01:36:28
UPDATE